The existence of UFO implies projectively universal morphisms

Existence of Natural and Projectively Equivariant Quantizations

We study the existence of natural and projectively equivariant quantizations for differential operators acting between order 1 vector bundles over a smooth manifold M . To that aim, we make use of the Thomas-Whitehead approach of projective structures and construct a Casimir operator depending on a projective Cartan connection. We attach a scalar parameter to every space of differential operato...

Vague Existence Implies Vague Identity

Permanence Implies the Existence of Interior Periodic Solutions for FDEs

By appealing to the theory of global attractors and steady states for uniformly persistent dynamical systems, we show that uniform persistence implies the existence of interior periodic solutions for dissipative periodic functional differential equations of retarded and neutral type. This result is then applied to a multi-species competitive system and a SIS epidemic model. AMS Subject Classifi...

The disjunction property implies the numerical existence property.

Any recursively enumerable extension of intuitionistic arithmetic which obeys the disjunction property obeys the numerical existence property. Any recursively enumerable extension of intuitionistic arithmetic proves its own disjunction property if and only if it proves its own inconsistency.

The Universal Kolyvagin Recursion Implies the Kolyvagin Recursion

Let Uz be the universal norm distribution and M a fixed power of prime p, by using the double complex method employed by Anderson, we study the universal Kolyvagin recursion occurred in the canonical basis in the cohomology group H(Gz ,Uz/MUz). We furthermore show that the universal Kolyvagin recursion implies the Kolyvagin recursion in the theory of Euler systems. One certainly hopes this coul...